#FORMAL-VERIFICATION
List of the best Telegram channels tagged with #FORMAL-VERIFICATION.
The #formal-verification tag brings together 4 Telegram channels with a combined audience of 3,678 subscribers. Content is primarily in Russian (100%). Channels are grouped under Technology, Education. Channels tagged #formal-verification frequently also cover #programming (75%), #ai (50%), #software-testing (25%).
I do not post advertisements or announcements. Author's channel about high-quality software development (processes, testing, formal verification and specification). Contact: @ligurio
μετά - “between, after, through” (Greek) The life of a programmer beyond programming: algorithms, psychology, investments, other.
Notes on the theory of programming languages, formal verification of programs, type theory, mathematical logic, constructivism and all sorts of stuff. All questions to @clayrat, english version: https://clayrat.github.io/